Reflection in Logical Systems
نویسنده
چکیده
I develop some of the theory of self-referential systems. I present the necessary semantic ideas, and combine this with work in proof theory, on the necessary properties of a proof predicate, to develop practical theories for reasoning about such systems. I propose to use this to exploit the idea of a reflection principle as a systematic way to extend such self-referential theories safely. I also try to relate theoretical points to practical concerns.
منابع مشابه
Rules of Definitional Reflection
This paper discusses two rules of definitional reflection: The “logical” version of definitional reflection as used in the extended logic programming language GCLA and the “ω”-version of definitional reflection as proposed by Eriksson and Girard. The logical version is a Left-introduction rule completely analogous to the Left-introduction rules for logical operators in Gentzen-style sequent sys...
متن کاملInversion by Definitional Reflection and the Admissibility of Logical Rules
The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister (1990, 1991) proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by...
متن کاملComputational reflection via mechanized logical deduction
In this paper, we show how a system for automated deduction can be given computational reeection, i.e. can aaect its own computation mechanism, by using the very same machinery implementing logical deduction. This feature, that we call computational reeection via mechanized logical deduction, provides both theoretical and practical advantages. First, the theorem prover can inspect, extend and m...
متن کاملHybrid dynamical systems, dynamical intelligence, and meta-intelligence in embodied agents
By employing hybrid dynamical systems-oriented techniques for reasoning about dynamical systems, it is possible to formalize some typically informal meta-intelligence about realtime intelligence of embodied agents. Furthermore, this meta-reasoning could be straightforwardly implemented in an embodied agent, forming a basis for meta-intelligent planning or deeper logical reflection. This paper c...
متن کاملLogical Theories for Agent Introspection
Thomas Bolander: Logical Theories for Introspective Agents Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one’s external environment but also oneself and one’s own reasoning. We ...
متن کامل